Nuprl Definition : eq_int
9,38
postcript
pdf
(
i
=
j
) == if
i
=
j
then tt else ff
latex
Definitions
if
a
=
b
then
c
else
d
,
tt
,
ff
FDL editor aliases
eq_int
origin
j) == if i=j then tt else ff j) == if i=j then tt else ff